Classical Linear Logic of Implications
نویسنده
چکیده
We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin’s system for the intuitionistic case. The calculus has the nonlinear and linear implications as the basic constructs, and this design choice allows a technically managable axiomatization without commuting conversions. Despite this simplicity, the calculus is shown to be sound and complete for category-theoretic models given by ∗-autonomous categories with linear exponential comonads.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملPetri Net Semantics of Bunched Implications
Engberg and Winskel's Petri net semantics of linear logic is reconsidered , from the point of view of the logic BI of bunched implications. We rst show how BI can be used to overcome a number of diiculties pointed out by Engberg and Winskel, and we argue that it provides a more natural logic for the net semantics. We then brieey consider a more expressive logic based on an extension of BI with ...
متن کاملReview and Classification of Modeling Approaches of Soil Hydrology Processes
To use soil hydrology processes (SHP) models, which have increasingly extended during the last years, comprehensive knowledge about these models and their modeling approaches seems to be necessary. The modeling approaches can be categorized as either classical or non-classical. Classical approaches mainly model the SHP through solving the general unsaturated flow (Richards) equation, numericall...
متن کاملReview and Classification of Modeling Approaches of Soil Hydrology Processes
To use soil hydrology processe (SHP) models, which have increasingly extended during the last years, comprehensive knowledge about these models and their modeling approaches seems to be necessary. The modeling approaches can be categorized as either classical or non-classical. Classical approaches mainly model the SHP through solving the general unsaturated flow (Richards) equation, numerically...
متن کاملSOFT TOPOLOGY AND SOFT PROXIMITY AS FUZZY PREDICATES BY FORMULAE OF LUKASIEWICZ LOGIC
In this paper, based in the L ukasiewicz logic, the definition offuzzifying soft neighborhood structure and fuzzifying soft continuity areintroduced. Also, the fuzzifying soft proximity spaces which are ageneralizations of the classical soft proximity spaces are given. Severaltheorems on classical soft proximities are special cases of the theorems weprove in this paper.
متن کامل